Fuzzy description logics with general t-norms and datatypes

Fuzzy description logics with general t-norms and datatypes

Fuzzy description logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current fuzzy DLs still present several limitations. In this work we face two problems: the common restriction to Zadeh and Łukasiewicz fuzzy logics an...

Fuzzy description logics with general concept inclusions

Fuzzy Multivalued Logics and T-Norms

Fuzzy logic in narrow sense: A summary on t-norm-based logics In the seventies and eighties operations over [0,1] corresponding to connectives of a multi-valued logic has been studied and used to define Fuzzy Set operations. From then t-norms, t-conorms, negation and implication functions have been widely studied and applied. The nineties were the start point of the study of the kernel of fuzzy...

Fuzzy Description Logics and t-norm based fuzzy logics

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...

General Concept Inclusions in Fuzzy Description Logics

Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCIs.